| emsoft | participants

Biniam Gebremichael

EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software

Analysis of the Zeroconf Protocol using UPPAAL

Biniam Gebremichael, Frits W. Vaandrager, and Miaomiao Zhang